# Multi-step logical reasoning
Phi 4 Mini Reasoning GGUF
MIT
Phi-4-mini-reasoning is a lightweight open model based on synthetic data, focusing on high-quality, dense reasoning data, and further fine-tuned to enhance mathematical reasoning capabilities.
Large Language Model Supports Multiple Languages
P
unsloth
21.71k
27
Nova 0.5 R1 7B
Apache-2.0
High-performance reasoning model built on the OpenThoughts-114k-math dataset and other cognitive enhancement training sets
Large Language Model
Transformers English

N
oscar128372
18
2
Diraya 3B Instruct Ar
Apache-2.0
A Qwen2.5-3B fine-tuned Arabic reasoning-specific language model, focused on enhancing Arabic language models' capabilities in logical reasoning and mathematical problem-solving.
Large Language Model
Transformers Arabic

D
Omartificial-Intelligence-Space
86
2
Featured Recommended AI Models